退出
我的积分:
中文文献批量获取
外文文献批量获取
机译:通过插值和SAT增量求解功能依赖关系的可扩展探索
Chih-chun Lee; Jie-hong R. Jiang; Chung-yang Huang, et al.;
机译:到SAT还是不到SAT:功能依赖的可扩展探索
机译:SAT解决带有递归路径顺序和相关性对的终止证明
机译:经过验证的SAT解算器框架,具有学习,忘记,重新启动和增量功能。
机译:通过插值和增量SAT解决方案可扩展探索功能依赖性
机译:增量SAT和MAX-SAT近似技术的研究。
机译:具有学习忘记重新启动和增量功能的经过验证的SAT解算器框架
机译:利用所有解决方案SAT求解器中变量的功能依赖性
机译:逻辑公式转换程序,SAT解算器程序和SAT难度评估程序
机译:用于探索的设备,以刻度为增量。
机译:使用连续配方,C1或C0有限元离散化和可伸缩求解器的不连续插值
抱歉,该期刊暂不可订阅,敬请期待!
目前支持订阅全部北京大学中文核心(2020)期刊目录。